How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Multi-Core By Default
rfleury.comยท17hยท
๐Ÿ”€SIMD Programming
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.orgยท15h
๐Ÿ“‹JSON Parsing
Effective C++ โ€“ Hour 10
jtag.bearblog.devยท1d
๐ŸงธToy Compilers
Julia 1.12 released with experimental code trimming, improved multi-threading, and more
alternativeto.netยท1d
๐ŸŒŠAsync Compilers
My War with AI Agents: When 1000-Line Prompts Met Reality
xor01.substack.comยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Effects in Rust (and Koka)
aloso.fooยท19hยท
Discuss: r/rust
โšกAlgebraic Effects
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท11hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท11hยท
Discuss: Hacker News
๐Ÿ“Text Editors
An enough week
blog.mitrichev.chยท23hยท
๐ŸŒฒDeforestation
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
โš™๏ธ C in Action: Real Projects You Can Build to Master It
dev.toยท3hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Languages
The Bit Shift Paradox: How "Optimizing" Can Make Code 6ร— Slower
hackernoon.comยท2d
โšกInterpreter Optimization
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.devยท2dยท
Discuss: Hacker News
๐ŸชOCaml
From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿš‚Error Propagation